D.A. Lammas: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Immuable et changeante : la géopolitique libyenne de l'après Kadhafi

Mohamed Faraj, Ben Lamma

Journal:

Maghreb - Machrek

Year:

2012

Language:

french

File:

PDF, 557 KB

french, 2012

2

An extended Warren abstract machine for the execution of structured logic programs

Evelina Lamma, Paola Mello, Antonio Natali

Journal:

The Journal of Logic Programming

Year:

1992

Language:

english

File:

PDF, 2.37 MB

english, 1992

3

Modularity in Logic Programming

Michele Bugliesi, Evelina Lamma, Paola Mello

Journal:

The Journal of Logic Programming

Year:

1994

Language:

english

File:

PDF, 4.77 MB

english, 1994

4

IDVD-based trajectory generator for autonomous underwater docking operations

Yazdani, A.M., Sammut, K., Yakimenko, O.A., Lammas, A., Tang, Y., Mahmoud Zadeh, S.

Journal:

Robotics and Autonomous Systems

Year:

2017

Language:

english

File:

PDF, 5.62 MB

english, 2017

5

Feasibility analysis of using the hp-adaptive Radau pseudospectral method for minimum-effort collision-free docking operations of AUV

Yazdani, A.M., Sammut, K., Yakimenko, O.A., Lammas, A.

Journal:

Robotics and Autonomous Systems

Year:

2020

File:

PDF, 4.45 MB

2020

6

Jordanian TEFL Graduate Students' Use of Critical Thinking Skills (as Measured by the Cornell Critical Thinking Test, Level Z)

Bataineh, Ruba Fahmi, Zghoul, Lamma Hmoud

Journal:

International Journal of Bilingual Education and Bilingualism

Year:

2006

Language:

english

File:

PDF, 226 KB

english, 2006

7

[IEEE 2017 IEEE International Memory Workshop (IMW) - Monterey, CA, USA (2017.5.14-2017.5.17)] 2017 IEEE International Memory Workshop (IMW) - Characterization of TLC 3D-NAND Flash Endurance through Machine Learning for LDPC Code Rate Optimization

Zambelli, Cristian, Cancelliere, Giuseppe, Riguzzi, Fabrizio, Lamma, Evelina, Olivo, Piero, Marelli, Alessia, Micheloni, Rino

Year:

2017

Language:

english

File:

PDF, 402 KB

english, 2017

8

Integrating constraint logic programming and operations research techniques for the Crew Rostering Problem

A. Caprara, F. Focacci, E. Lamma, P. Mello, M. Milano, P. Toth, D. Vigo

Journal:

Software: Practice and Experience

Year:

1998

Language:

english

File:

PDF, 162 KB

english, 1998

9

Partial deduction for structured logic programming

Michele Bugliesi, Evelina Lamma, Paola Mello

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 2.45 MB

english, 1993

10

A comparison of optimization techniques for AUV path planning in environments with ocean currents

Zeng, Zheng, Sammut, Karl, Lian, Lian, He, Fangpo, Lammas, Andrew, Tang, Youhong

Journal:

Robotics and Autonomous Systems

Year:

2016

Language:

english

File:

PDF, 3.46 MB

english, 2016

11

Factors related to tinnitus and hyperacusis handicap in older people

Aazh, Hashir, Lammaing, Karen, Moore, Brian C. J.

Journal:

International Journal of Audiology

Year:

2017

Language:

english

File:

PDF, 767 KB

english, 2017

12

Quelle stratégie américaine dans un monde arabe changeant : New deal ou continuité ?

Faraj Ben Lamma, Mohammed

Journal:

Maghreb - Machrek

Year:

2014

Language:

french

File:

PDF, 578 KB

french, 2014

13

An image analysis approach for automatically re-orienteering CT images for dental implants

Rita Cucchiara, Evelina Lamma, Tommaso Sansoni

Journal:

Computerized Medical Imaging and Graphics

Year:

2004

Language:

english

File:

PDF, 742 KB

english, 2004

14

PORTRAITS OF PLACELESSNESS: BRITISH NINETEENTH-CENTURY IMAGES OF THE AFRICAN LANDSCAPE

Rebecca Caroline Lammas

Journal:

Singapore Journal of Tropical Geography

Year:

1997

Language:

english

File:

PDF, 943 KB

english, 1997

15

Strategies in Combined Learning via Logic Programs

Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira

Journal:

Machine Learning

Year:

2000

Language:

english

File:

PDF, 137 KB

english, 2000

16

Cooperation and Competition inALIAS: A Logic Framework for Agents that Negotiate

Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 229 KB

english, 2003

17

Compositional model-theoretic semantics for logic programs

Antonio Brogi, Evelina Lamma, Paola Mello

Journal:

New Generation Computing

Year:

1992

Language:

english

File:

PDF, 1011 KB

english, 1992

18

LAILA: a language for coordinating abductive reasoning among logic agents

Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni

Journal:

Computer Languages

Year:

2001

Language:

english

File:

PDF, 459 KB

english, 2001

19

Artificial intelligence techniques for monitoring dangerous infections

Lamma, E., Mello, P., Nanetti, A., Riguzzi, F., Storari, S., Valastro, G.

Journal:

IEEE Transactions on Information Technology in Biomedicine

Year:

2006

Language:

english

File:

PDF, 276 KB

english, 2006

20

Effect of chronic antidepressant treatment on noradrenergic modulation of [3H]dopamine release from rat nucleus accumbens and striatal slices

Vivienne Ann Russell, Barbara Nurse, Manja Constance Louise Lamma, Joshua Joachim Fransua Taljaard

Journal:

Year:

1987

Language:

english

File:

PDF, 436 KB

english, 1987

21

Knowledge-based technology for controlling railway stations

Fringuelli, B., Lamma, E., Mello, P., Santocchia, G.

Journal:

Year:

1992

Language:

english

File:

PDF, 1.14 MB

english, 1992

22

A System for Measuring Function Points from an ER-DFD Specification

Journal:

The Computer Journal

Year:

2004

Language:

english

File:

PDF, 431 KB

english, 2004

23

Verifiable agent interaction in abductive logic programming

Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo

Journal:

ACM Transactions on Computational Logic

Year:

2008

Language:

english

File:

PDF, 318 KB

english, 2008

24

[Lecture Notes in Computer Science] AI*IA 2015, Advances in Artificial Intelligence Volume 9336 ||

Gavanelli, Marco, Lamma, Evelina, Riguzzi, Fabrizio

Year:

2015

Language:

english

File:

PDF, 24.68 MB

english, 2015

25

Tinnitus and hyperacusis therapy in a UK National Health Service audiology department: Patients’ evaluations of the effectiveness of treatments

Aazh, Hashir, Moore, Brian C. J., Lammaing, Karen, Cropley, Mark

Journal:

International Journal of Audiology

Year:

2016

Language:

english

File:

PDF, 563 KB

english, 2016

26

A web system for reasoning with probabilistic OWL

Bellodi, Elena, Lamma, Evelina, Riguzzi, Fabrizio, Zese, Riccardo, Cota, Giuseppe

Journal:

Software: Practice and Experience

Year:

2016

Language:

english

File:

PDF, 1.13 MB

english, 2016

27

Probabilistic logic programming on the web

Riguzzi, Fabrizio, Bellodi, Elena, Lamma, Evelina, Zese, Riccardo, Cota, Giuseppe

Journal:

Software: Practice and Experience

Year:

2015

Language:

english

File:

PDF, 838 KB

english, 2015

28

Editorial: 29th International conference on logic programming special issue – ADDENDUM

LAMMA, EVELINA, SWIFT, TERRANCE

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 35 KB

english, 2018

29

Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming

Azzolini, Damiano, Riguzzi, Fabrizio, Lamma, Evelina

Journal:

Year:

2019

File:

PDF, 902 KB

2019

30

Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling

Chesani, Federico, Cota, Giuseppe, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Riguzzi, Fabrizio

Journal:

Engineering Applications of Artificial Intelligence

Year:

2020

File:

PDF, 844 KB

2020

31

Probabilistic inductive constraint logic

Riguzzi, Fabrizio, Bellodi, Elena, Zese, Riccardo, Alberti, Marco, Lamma, Evelina

Journal:

Machine Learning

Year:

2020

File:

PDF, 1.80 MB

2020

32

Metall@MOF: Beladung hoch poröser Koordinationspolymergitter durch Metallorganische Chemische Dampfabscheidung

Stephan Hermes, Marie-Katrin Schröter, Rochus Schmid, Lamma Khodeir, Martin Muhler, Arno Tissler, Richard W. Fischer, Roland A. Fischer

Journal:

Angewandte Chemie

Year:

2005

Language:

german

File:

PDF, 156 KB

german, 2005

33

Metal@MOF: Loading of Highly Porous Coordination Polymers Host Lattices by Metal Organic Chemical Vapor Deposition

Stephan Hermes, Marie-Katrin Schröter, Rochus Schmid, Lamma Khodeir, Martin Muhler, Arno Tissler, Richard W. Fischer, Roland A. Fischer

Journal:

Angewandte Chemie International Edition

Year:

2005

Language:

english

File:

PDF, 158 KB

english, 2005

34

Characterisation of the P2X7 receptor-mediated signalling pathway associated with rapid killing of intracellular mycobacteria within human macrophages

Carmel B. Stober, Anne Ben-Smith, Dinikantha Kumararatne, David A. Lammas

Journal:

Drug Development Research

Year:

2001

Language:

english

File:

PDF, 307 KB

english, 2001

35

Catalytic Activity of Copper Oxide/Zinc Oxide Composites Prepared by Thermolysis of Crystallographically Defined Bimetallic Coordination Compounds

Rainer Weiss, Yanzhi Guo, Sascha Vukojević, Lamma Khodeir, Roland Boese, Ferdi Schüth, Martin Muhler, Matthias Epple

Journal:

European Journal of Inorganic Chemistry

Year:

2006

Language:

english

File:

PDF, 191 KB

english, 2006

36

Hypothetical reasoning in logic programming: a semantic approach

Antonio Brogi, Evelina Lamma, Paula Mello

Journal:

Information Processing Letters

Year:

1990

Language:

english

File:

PDF, 517 KB

english, 1990

37

The implementation of a distribution model for logic programming based on multiple-headed clauses

Antonio Brogi, Anna Ciampolini, Evelina Lamma, Paolo Mello

Journal:

Information Processing Letters

Year:

1992

Language:

english

File:

PDF, 704 KB

english, 1992

38

An abstract interpretation framework for optimizing dynamic modular logic languages

Anna Ciampolini, Evelina Lamma, Paola Mello

Journal:

Information Processing Letters

Year:

1996

Language:

english

File:

PDF, 726 KB

english, 1996

39

Using atms algorithms for real-time applications

B Fringuelli, E Lamma, P Mello, G Santocchia

Journal:

Annual Review in Automatic Programming

Year:

1991

Language:

english

File:

PDF, 640 KB

english, 1991

40

Optimization techniques in building expert systems

Roberto Cremonini, Evelina Lamma, Paola Mello

Journal:

Microprocessing and Microprogramming

Year:

1987

Language:

english

File:

PDF, 571 KB

english, 1987

41

The shedding of the outer glycocalyx of juvenile Fasciola hepatica

D.A. Lammas, W.P.H. Duffus

Journal:

Veterinary Parasitology

Year:

1983

File:

PDF, 619 KB

1983

42

A child with recurrent mycobacterial infection

Anoop S. Pulickal, Sophie Hambleton, Martin J. Callaghan, Catrin E. Moore, Jon Goulding, Anna Goodsall, Richard Baretto, David A. Lammas, Suzanne T. Anderson, Michael Levin, Andrew J. Pollard

Journal:

Journal of Infection

Year:

2007

Language:

english

File:

PDF, 37 KB

english, 2007

43

Poor recall of “4Hs and 4Ts” by medical staff

Nicola Jones, Craig Lammas, Carl Gwinnutt

Journal:

Year:

2010

Language:

english

File:

PDF, 60 KB

english, 2010

44

Integrating induction and abduction in logic programming

Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi

Journal:

Information Sciences

Year:

1999

Language:

english

File:

PDF, 1.50 MB

english, 1999

45

A unifying view for logic programming with non-monotonic reasoning

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 3.96 MB

english, 1997

46

Reasoning on constraints in CLP(FD)

Evelina Lamma, Michela Milano, Paola Mello

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 1.62 MB

english, 1999

47

A distributed constraint-based scheduler

E. Lamma, P. Mello, M. Milano

Journal:

Artificial Intelligence in Engineering

Year:

1997

Language:

english

File:

PDF, 2.02 MB

english, 1997

48

Validation of biochemical laboratory results using the DNSev expert system

S Storari, E Lamma, R Mancini, P Mello, R Motta, D Patrono, G Canova

Journal:

Expert Systems with Applications

Year:

2003

Language:

english

File:

PDF, 415 KB

english, 2003

49

Diagnosis of defects in the type 1 cytokine pathway

David A. Lammas, Pamela Drysdale, Anne Ben-Smith, John Girdlestone, David Edgar, Dinakantha S. Kumararatne

Journal:

Microbes and Infection

Year:

2000

Language:

english

File:

PDF, 3.21 MB

english, 2000

50

Distributed Logic Objects: A Fragment of Rewriting Logic and its Implementation

Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 816 KB

english, 1996